1. Algorithmics of large and complex networks
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer networks. ; Telecommunication ; Traffic. ; Algorithms. ; Programming (Mathematics) ; Netzwerk ; Gro?es System ; Effizienter Algorithmus. ; Netzwerk ; Komplexes System ; Effizienter Algorithmus. ; Effizienter Algorithmus. ; swd. ; Gro?es System. ;
2. Approximation algorithms and semidefinite programmin
پدیدآورنده : / Bernd Geartner, Jierai Matouesek
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Approximation algorithms,Semidefinite programming,Mathematics,Information theory,Computer software,Computational complexity,Algorithms,Mathematical optimization,Applications of Mathematics,Theory of Computation,Algorithm Analysis and Problem Complexity,Discrete Mathematics in Computer Science,Optimization
رده :
QA76
.
9
.
A43G37
2012
3. Automatic program development :
پدیدآورنده : edited by Olivier Danvy [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)
رده :
QA402
.
5
.
A88
2008eb
4. Experimental Methods for the Analysis of Optimization Algorithm
پدیدآورنده : Bartz-Beielstein, ThomasEditor 4edt.,]electronic resource
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Electronic books,، Mathematical Optimization,، Computer Algorithms,، Mathematics, Optimization,، Computers, Programming, Algorithms
رده :
QA
402
.
5
5. Experimental Methods for the Analysis of Optimization Algorithm
پدیدآورنده : / [electronic resource
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Electronic books,Mathematical Optimization,Computer Algorithms,Mathematics, Optimization,Computers, Programming, Algorithms
رده :
E-BOOK
6. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
7. Intelligent Optimisation Techniques: Genetic Algorithms, Tabu Search, Simulated Annealing and Neural Networks
پدیدآورنده : Pham, D. T.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Engineering-- Data processing,، Computer-aided engineering,، Heuristic programming,، Genetic algorithms,، Simulated annealing )Mathematics(,، Neural networks )Computer science(
رده :
TA
345
.
P54
2000
8. Mathematical foundations of computer science 2012
پدیدآورنده : Branislav Rovan, Vladimiro Sassone, Peter Widmayer (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Congresses,Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
S96
2012eb
9. Mathematical foundations of computer science 2008
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
10. Numerical Methods Using Java :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Java (Computer program language) ; Computer algorithms ; Programming (Mathematics) ;
11. Programming Classics: implementing the world's best algorithms
پدیدآورنده : / Lan Oliver
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Computer algorithms,Programming ( Mathematics )
رده :
005
.
1
O48p
12. The golden ticket :
پدیدآورنده : Lance Fortnow.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Computer programming-- Algorithms.,Mathematics-- History and philosophy.,Mathematics-- Linear programming.,Mathematics-- Mathematical analysis.,NP-complete problems.
13. Vector game math processors
پدیدآورنده : James Leiterman
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)
رده :
QA76
.
5
.
L446
2003eb